Dict(
	[15, 9, 13, 1, 15, 1, 1, 13, 1, 1] => QQFieldElem[-16//3, 0, 0, 0])